Dov M. Gabbay: шукати на сайті Z-Library

Mathematical Logic Quarterly

Журнал:

Рік:

1971

Мова:

english

Файл:

PDF, 227 KB

english, 1971

Adding a temporal dimension to a logic system

Marcelo Finger, Dov M. Gabbay

Журнал:

Daniel Lehmann, Kurt Engesser, Dov M. Gabbay

Рік:

1992

Мова:

english

Файл:

PDF, 1.61 MB

english, 1992

Algebras of Measurements: The Logical Structure of Quantum Mechanics

Журнал:

International Journal of Theoretical Physics

Рік:

2006

Мова:

english

Файл:

PDF, 160 KB

english, 2006

Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction

M. Abraham, Dov M. Gabbay, U. Schild

Журнал:

Рік:

2009

Мова:

english

Файл:

PDF, 594 KB

english, 2009

Model theory for tense logics

Annals of Mathematical Logic

Журнал:

Рік:

1975

Мова:

english

Файл:

PDF, 2.19 MB

english, 1975

Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)

Abraham, Michael, Gabbay, Dov M., Hazut, Gabriel, Maruvka, Yosef E., Schild, Uri

Журнал:

History and Philosophy of Logic

Рік:

2011

Мова:

english

Файл:

PDF, 336 KB

english, 2011

Language and proof theory

Dov Gabbay, Ruth Kempson

Журнал:

Gabbay, Dov M., Schlechta, Karl

Рік:

1996

Мова:

english

Файл:

PDF, 321 KB

english, 1996

Roadmap for preferential logics

Журнал:

Journal of Applied Non-Classical Logics

Рік:

2009

Мова:

english

Файл:

PDF, 435 KB

english, 2009

New Ideas in Applied Logic || Analysis of the Talmudic Argumentum a Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction

M. Abraham, Dov M. Gabbay and U. Schild

Журнал:

Kurt Engesser, Dov M. Gabbay

Рік:

2009

Мова:

english

Файл:

PDF, 5.25 MB

english, 2009

Quantum logic, Hilbert space, revision theory

Журнал:

Artificial Intelligence

Рік:

2002

Мова:

english

Файл:

PDF, 314 KB

english, 2002

A Theory of Hierarchical Consequence and Conditionals

Dov M. Gabbay, Karl Schlechta

Журнал:

Artur S. d’Avila Garcez, Dov M. Gabbay, Oliver Ray, John Woods

Рік:

2010

Мова:

english

Файл:

PDF, 1.01 MB

english, 2010

Abductive reasoning in neural-symbolic systems

Журнал:

Topoi

Рік:

2007

Мова:

english

Файл:

PDF, 372 KB

english, 2007

Non-Cooperation In Dialogue Logic

Dov Gabbay, John Woods

Журнал:

Synthese

Рік:

2001

Мова:

english

Файл:

PDF, 113 KB

english, 2001

Approaches to Legal Rationality || Formal and Informal in Legal Logic

Gabbay, Dov M., Canivez, Patrice, Rahman, Shahid, Thiercelin, Alexandre

Рік:

2011

Мова:

english

Файл:

PDF, 370 KB

english, 2011

New Perspectives in Dialogical Logic || Non-Cooperation in Dialogue Logic

Dov Gabbay and John Woods

Журнал:

Synthese

Рік:

2001

Мова:

english

Файл:

PDF, 2.45 MB

english, 2001

Uncertainty Rules in Talmudic Reasoning

Gabbay, Dov M, Koppel, Moshe

Журнал:

History and Philosophy of Logic

Рік:

2011

Мова:

english

Файл:

PDF, 109 KB

english, 2011

[ACM Press the 13th International Conference - Pittsburgh, Pennsylvania (2011.06.06-2011.06.10)] Proceedings of the 13th International Conference on Artificial Intelligence and Law - ICAIL '11 - Intelligent evaluation of evidence using Wigmore diagrams

Chalamish, Michal, Gabbay, Dov, Schild, Uri

Рік:

2011

Мова:

english

Файл:

PDF, 100 KB

english, 2011

Editorial

Dov Gabbay and John Woods

Журнал:

Gabbay, Dov M., Schlechta, Karl

Рік:

1999

Мова:

english

Файл:

PDF, 407 KB

english, 1999

A New Perspective on Nonmonotonic Logics ||

Рік:

2016

Мова:

english

Файл:

PDF, 4.94 MB

english, 2016

[Studies in Logic and the Foundations of Mathematics] LOGIC COLLOQUIUM '69 Volume 61 || Semantic Proof of The Craig Interpolation Theorem for Intuitionistic Logic and Extensions. Part I

Gabbay, Dov M., Guenthner, Franz

Рік:

1971

Мова:

english

Файл:

PDF, 376 KB

english, 1971

Handbook of Philosophical Logic (Volume 18) || The Formalization Of Pratical Reasoning: Problems And Prospects

Рік:

2018

Мова:

english

Файл:

PDF, 374 KB

english, 2018

The Functional Interpretation of the Existential Quantifier

de QUEIROZ, RUY J. G. B., GABBAY, DOV M.

Журнал:

Logic Journal of IGPL

Рік:

1995

Мова:

english

Файл:

PDF, 5.06 MB

english, 1995

Connectionist computations of intuitionistic reasoning

Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay

Журнал:

Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 373 KB

english, 2006

Fibred semantics for feature-based grammar logic

Jochen Dörre, Esther König, Dov Gabbay

Журнал:

Marcello D'Agostino, Dov M. Gabbay

Рік:

1996

Мова:

english

Файл:

PDF, 1.89 MB

english, 1996

A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics

Журнал:

Journal of Automated Reasoning

Рік:

1994

Мова:

english

Файл:

PDF, 2.36 MB

english, 1994

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals

Dov M. Gabbay, Andrzej Szałas

Журнал:

Dov M. Gabbay, Leendert van der Torre

Рік:

2007

Мова:

english

Файл:

PDF, 203 KB

english, 2007

Preface for Studia Logica Special Issue (2)

Журнал:

Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata

Рік:

2009

Мова:

english

Файл:

PDF, 110 KB

english, 2009

Meta-Argumentation Modelling I: Methodology and Techniques

Журнал:

Рік:

2009

Мова:

english

Файл:

PDF, 1.26 MB

english, 2009

Decidability results in non-classical logics: Part I

Annals of Mathematical Logic

Журнал:

Рік:

1975

Мова:

english

Файл:

PDF, 2.77 MB

english, 1975

Decidability results in non-classical logic. III

Israel Journal of Mathematics

Журнал:

Рік:

1971

Мова:

english

Файл:

PDF, 468 KB

english, 1971

Reactive automata

Maxime Crochemore, Dov M. Gabbay

Журнал:

Information and Computation

Рік:

2011

Мова:

english

Файл:

PDF, 819 KB

english, 2011

[Studies in Logic and Practical Reasoning] Handbook of the Logic of Argument and Inference - The Turn Towards the Practical Volume 1 || Formal approaches to practical reasoning: A survey

Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic

Рік:

2002

Мова:

english

Файл:

PDF, 1.42 MB

english, 2002

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]

Журнал:

Synthese

Рік:

2012

Мова:

english

Файл:

PDF, 379 KB

english, 2012

Handbook of Philosophical Logic ||

Gabbay, Dov M., Guenthner, Franz

Рік:

2014

Мова:

english

Файл:

PDF, 2.16 MB

english, 2014

A socio-cognitive model of trust using argumentation theory

Villata, Serena, Guido Boella,, Gabbay, Dov M., van der Torre, Leendert

Журнал:

International Journal of Approximate Reasoning

Рік:

2013

Мова:

english

Файл:

PDF, 1018 KB

english, 2013

Reactive Kripke models and contrary to duty obligations. Part A: Semantics

Gabbay, Dov M., Ohlbach, Hans Jürgen

Журнал:

Journal of Applied Logic

Рік:

2013

Мова:

english

Файл:

PDF, 501 KB

english, 2013

[Lecture Notes in Computer Science] Practical Reasoning Volume 1085 || Goals in argumentation

Рік:

1996

Мова:

english

Файл:

PDF, 486 KB

english, 1996

Logic, Epistemology, and the Unity of Science Volume 1 ||

Rahman, Shahid, Symons, John, Gabbay, Dov M., Bendegem, Jean Paul van

Рік:

2004

Мова:

english

Файл:

PDF, 5.55 MB

english, 2004

Completeness properties of heyting's predicate calculus with respect to re models

Journal of Symbolic Logic

Журнал:

Рік:

1976

Мова:

english

Файл:

PDF, 923 KB

english, 1976

Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic.

Slaney, J. K., Gabbay, Dov, Guenther, Franz

Журнал:

The Philosophical Quarterly

Рік:

1986

Мова:

english

Файл:

PDF, 196 KB

english, 1986

Handbook of Philosophical Logic || Hybrid Logic

Gabbay, Dov M., Guenthner, Franz

Рік:

2014

Мова:

english

Файл:

PDF, 799 KB

english, 2014

[Cognitive Technologies] Reactive Kripke Semantics ||